| Module | Title | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|---|
| Praktikum | Agile development of a theory solver for SMT | Praktikum | 7 | 277995 | ||
| Augmented Reality Lab | Praktikum | 7 | 360729 | |||
| Autonomous Driving Lab | Praktikum | 7 | 283709 | |||
| Digitalisierung der Produktion | Praktikum | 7 | 353051 | |||
| Game Development | Praktikum | 7 | 350124 | |||
| Graph Learning | Praktikum | 7 | 350756 | Mo 16:30-18:00 Seminarraum i7, Raum 4116 (2353|116) (×5) Di 16:30-18:00 Seminarraum i7, Raum 4116 (2353|116) (×1) Fr 14:00-15:00 Seminarraum i7, Raum 4116 (2353|116) (×1) | ||
| Heliostat Calibration with Drones in Solar Tower Power Plants | Praktikum | 7 | 283227 | |||
| Informationsmanagement für öffentliche Mobilitätsangebote | Proseminar | 7 | 354295 | |||
| Knowledge Graph Lab | Praktikum | 7 | 360520 | |||
| Modeling software functions of automotive systems with SysML | Praktikum | 7 | 278811 | |||
| Process Conformance Checking in Python | Praktikum | 7 | 353780 | |||
| Process Discovery Using Python | Praktikum | 7 | 353781 | |||
| Projektmodul: OR-Praktikum | Projekt | 7 | 282968 | Do 16:30-18:00 B201 (3011|201) (×1) | ||
| Selected Topics in Renewable Energy | Praktikum | 7 | 277500 | |||
| Software Lab in Bioinformatics | Praktikum | 7 | 335022 | Mo 09:30-12:30 Extern (×11) | ||
| Digitalisierung der Produktion | Praktikum | 353051 | ||||
| Seminar I | Aktuelle Themen in der Fluidanimation | Seminar | 4 | 278775 | Mi 14:30-16:00 9220 (2359|220) (×1) Do 09:00-12:00 9220 (2359|220) (×3) | |
| Ausgesuchte Themen zur Eingebetteten Software | Seminar | 4 | 283627 | |||
| Current Topics in Computer Graphics and Geometry Processing | Seminar | 4 | 281327 | Do 10:00-12:00 2359|118 (×1) | ||
| Current Topics in Technology Enhanced Learning: Blended Learning in (Higher) Education | Seminar | 4 | 281530 | Mi 13:30-17:00 5055 (2356|055) (×1) | ||
| Evaluating model-driven systems engineering techniques for cyber-physical systems | Seminar | 4 | 282973 | |||
| Formal Aspects of Software and Systems Engineering | Seminar | 4 | 282753 | |||
| Introduction to Feature Prediction on Running Process Instances | Seminar | 4 | 359525 | |||
| Model-Based Assistance and E-Health | Seminar | 4 | 361404 | |||
| Numerische Bibliotheken | Seminar | 4 | 277878 | |||
| Post-Desktop User Interfaces | Seminar | 4 | 283703 | Do 14:30-16:00 Seminarraum Informatik 10 (2350|222) (×5) | ||
| Satisfiability Checking | Seminar | 4 | 279666 | Do 10:30-12:00 5055 (2356|055) (×1) | ||
| Selected Topics in Human Language Technology and Pattern Recognition | Seminar | 4 | 361073 | Di 10:00-12:00 2356|124 (×1) Mi 15:00-18:00 2356|124 (×1) Do 10:00-12:00 2356|124 (×2) | ||
| Selected Topics in Process Mining | Seminar | 4 | 353782 | |||
| Seminar (Selected Topics in Agent Behaviour Modelling) | Seminar | 4 | 279173 | |||
| Seminar Current Topics in Computer Vision and Machine Learning (Master seminar) | Hauptseminar | 4 | 392325 | |||
| Seminar Komplexitätstheorie | Seminar | 4 | 350757 | |||
| Seminar Komplexitätstheorie II | Seminar | 4 | 362384 | |||
| Seminar: Advanced Internet Technology | Seminar | 4 | 280102 | |||
| Seminar: Aktuelle Themen der Virtuellen Realität | Seminar | 4 | 282101 | |||
| Seminar: Aktuellen Themen im Bereich Hochleistungsrechnen (HPC) | Seminar | 4 | 280402 | |||
| Seminar: Internet Technology | Seminar | 4 | 278826 | |||
| Verification and Static Analysis of Software | Seminar | 4 | 283169 | |||
| Verifikationsverfahren | Seminar | 4 | 362658 | |||
| Web Science Seminar | Seminar | 4 | 281411 | |||
| Seminar II | Aktuelle Themen in der Fluidanimation | Seminar | 4 | 278775 | Mi 14:30-16:00 9220 (2359|220) (×1) Do 09:00-12:00 9220 (2359|220) (×3) | |
| Ausgesuchte Themen zur Eingebetteten Software | Seminar | 4 | 283627 | |||
| Current Topics in Computer Graphics and Geometry Processing | Seminar | 4 | 281327 | Do 10:00-12:00 2359|118 (×1) | ||
| Current Topics in Technology Enhanced Learning: Blended Learning in (Higher) Education | Seminar | 4 | 281530 | Mi 13:30-17:00 5055 (2356|055) (×1) | ||
| Evaluating model-driven systems engineering techniques for cyber-physical systems | Seminar | 4 | 282973 | |||
| Formal Aspects of Software and Systems Engineering | Seminar | 4 | 282753 | |||
| Introduction to Feature Prediction on Running Process Instances | Seminar | 4 | 359525 | |||
| Model-Based Assistance and E-Health | Seminar | 4 | 361404 | |||
| Numerische Bibliotheken | Seminar | 4 | 277878 | |||
| Post-Desktop User Interfaces | Seminar | 4 | 283703 | Do 14:30-16:00 Seminarraum Informatik 10 (2350|222) (×5) | ||
| Satisfiability Checking | Seminar | 4 | 279666 | Do 10:30-12:00 5055 (2356|055) (×1) | ||
| Selected Topics in Human Language Technology and Pattern Recognition | Seminar | 4 | 361073 | Di 10:00-12:00 2356|124 (×1) Mi 15:00-18:00 2356|124 (×1) Do 10:00-12:00 2356|124 (×2) | ||
| Selected Topics in Process Mining | Seminar | 4 | 353782 | |||
| Seminar (Selected Topics in Agent Behaviour Modelling) | Seminar | 4 | 279173 | |||
| Seminar Current Topics in Computer Vision and Machine Learning (Master seminar) | Hauptseminar | 4 | 392325 | |||
| Seminar Komplexitätstheorie | Seminar | 4 | 350757 | |||
| Seminar Komplexitätstheorie II | Seminar | 4 | 362384 | |||
| Seminar: Advanced Internet Technology | Seminar | 4 | 280102 | |||
| Seminar: Aktuelle Themen der Virtuellen Realität | Seminar | 4 | 282101 | |||
| Seminar: Aktuellen Themen im Bereich Hochleistungsrechnen (HPC) | Seminar | 4 | 280402 | |||
| Seminar: Internet Technology | Seminar | 4 | 278826 | |||
| Verification and Static Analysis of Software | Seminar | 4 | 283169 | |||
| Verifikationsverfahren | Seminar | 4 | 362658 | |||
| Web Science Seminar | Seminar | 4 | 281411 |